Univalent Foundations: New Foundations of Mathematics - Vladimir Voevodsky Institute for Advanced Study 50:13 8 years ago 1 188 Скачать Далее
Univalent Foundations of Mathematics - Vladimir Voevodsky Institute for Advanced Study 1:07:33 7 years ago 9 643 Скачать Далее
Overview of Univalent Foundations - Vladimir Voevodsky Institute for Advanced Study 57:55 8 years ago 4 595 Скачать Далее
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky FOMUS 2016 1:33:26 7 years ago 6 765 Скачать Далее
Foundations of Mathematics and Homotopy Theory - Vladimir Voevodsky Institute for Advanced Study 1:05:09 8 years ago 3 334 Скачать Далее
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky Institute for Advanced Study 58:30 12 years ago 50 733 Скачать Далее
5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations Institut Henri Poincaré 54:16 Streamed 10 years ago 3 519 Скачать Далее
Homotopy Type Theory: Vladimir Voevodsky - Computerphile Computerphile 5:53 6 years ago 60 482 Скачать Далее
Vladimir Voevodsky: Revolutionizing Mathematics | Scientist Biography VIS SCIENCE 3:53 10 months ago 82 Скачать Далее
Vladimir Voevodsky: Multiple Concepts of Equality in the New Foundations of Mathematics Zentrum für interdisziplinäre Forschung 1:33:26 7 years ago 2 030 Скачать Далее
Univalent foundations and the equivalence principle - Benedikt Ahrens Institute for Advanced Study 1:01:13 5 years ago 1 971 Скачать Далее
4th HLF – Lecture: Vladimir Voevodsky Heidelberg Laureate Forum 49:55 7 years ago 2 373 Скачать Далее
Andrei Rodin: "Univalent Foundations and Applied Mathematics" Topos Institute 1:03:05 Streamed 1 year ago 2 060 Скачать Далее
An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky PoincareDuality 35:18 12 years ago 23 369 Скачать Далее